BRAIL - Safety Requirement Analysis
نویسنده
چکیده
In the European railways standards (CENELEC EN 50126, (1999); EN 50128, (2001); EN 50129, (2000)), it is required to obtain evidence of safety in system requirements specifications. In the railway domain, safety requirements are obviously severe. It is very important to keep requirements traceability during software development process even if the different used models are informal, semi formal or formal. This study is integrated into a larger one that aims at linking an informal approach (UML notation) to a formal (B method) one.
منابع مشابه
Planning support systems for cities and regions
Planning support systems for cities and regions / [edited by] Richard K. Brail. p. cm. Includes index.
متن کاملSelection of internal safety auditors in an Indian construction organization based on the SWARA and ARAS methods
Background: The effectiveness and adequacy of occupational health and safety management system should be monitored and evaluated at organization level on a regular basis. Safety audit has a clear role in the development of organizations safety management systems. Internal safety audit is a method to appraise to the management the current status of occupational health and safety at workplace. Se...
متن کاملEffective Security Requirements Analysis: HAZOP and Use Cases
Use cases are widely used for functional requirements elicitation. However, security non-functional requirements are often neglected in this requirements analysis process. As systems become increasingly complex current means of analysis will probably prove ineffective. In the safety domain a variety of effective analysis techniques have emerged over many years. Since the safety and security dom...
متن کاملبررسی ارتباط میان جو ایمنی و رفتارهای ایمن در کارکنان خط تولید یکی از صنایع فلزی شهر اراک
Background and aims Unsafe attitude are the offset of occurring an accident. Although conducting few studies regarding to systematic measurement on requirement and attitude in the field of safety in organization. One of the critical factors in order to make attempts to provide some programmers increasing safety behaviors is acknowledging the safety climate of working environment. In this ...
متن کاملبررسی تأثیر آموزش بر کد ارزیابی ریسک به روش تجزیه و تحلیل ایمنی شغلی کمی شده در یکی از واحدهای شرکت تولید سیمان
Introduction: Technology updates and the arrival of new machines have caused occurrence of many injuries and job deaths in industries. In any job, technical controlling practices accompanied by trainings and executive instructions can be implemented after doing job safety analysis. The aim of this study is the investigating the effect of training on risk assessment code in a load house of cemen...
متن کامل